A Dissimilarity Measure for the ALC Description Logic
نویسندگان
چکیده
This work presents a dissimilarity measure for an expressive Description Logic endowed with the principal constructors employed in the standard representations for ontological knowledge. In particular, the focus is on the definition of a dissimilarity measure for the ALC description logic based both on the syntax and on the semantics of the descriptions. The measure is shown to be applicable to assess the dissimilarity for cases involving individuals.
منابع مشابه
Ham-alc
HAM-ALC: The tests were performed using HAM-ALC version 1.1. HAM-ALC [2] is a description logic classifier which has been constructed for providing a basis for an optimized ALCRP(D) [1] implementation. Based on a sound and complete tableau algorithm HAM-ALC currently implements a true ABox reasoner for the logic ALC. HAM-ALC employs a few optimizations inspired by FaCT [3], in particular semant...
متن کاملReasoning About Typicality in ALC and EL
In this work we summarize our recent results on extending Description Logics for reasoning about prototypical properties and inheritance with exceptions. First, we focus our attention on the logic ALC. We present a nonmonotonic logic ALC + Tmin, which is built upon a monotonic logic ALC+T obtained by adding a typicality operator T to ALC. The operator T is intended to select the “most normal” o...
متن کاملObstacles on the Way to Qualitative Spatial Reasoning with Description Logics: Some Undecidability Results
We summarize the results we obtained on the extensions of ALC with composition-based role inclusion axioms of the form ST v R 1 t tR n. A set of these role axioms is called a role box. The original motivation for this work was to develop a description logic suitable for qualitative spatial reasoning problems. We quickly deene and discuss the DLs ALC RA , ALC RA , ALC RASG and ALCN RASG. All but...
متن کاملDynamic Logic for the Semantic Web
The propositional dynamic logic PDL is one of the most successful variants of modal logic; it plays an important role in many fields of computer science and artificial intelligence. As a logical basis for the W3C-recommended Web ontology language OWL, description logic provides considerable expressive power going far beyond propositional logic as while as the reasoning is still decidable. In th...
متن کاملGeneralized Satisfiability for the Description Logic ALC ( Extended
The standard reasoning problem, concept satisfiability, in the basic description logic ALC is PSPACE-complete, and it is EXPTIMEcomplete in the presence of unrestricted axioms. Several fragments of ALC, notably logics in the FL, EL, and DL-Lite families, have an easier satisfiability problem; sometimes it is even tractable. We classify the complexity of the standard satisfiability problems for ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005